left cancellation law

[计] 左消去法则